Subminimal negation
نویسندگان
چکیده
Minimal Logic, i.e. intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics is developed for minimal logic and its sublogics with a still weaker negation by introducing a function on the upward closed sets of the models. The basic logic is a logic in which the negation has no properties but the one of being a unary operator. A number of extensions is studied of which the most important ones are contraposition logic and negative ex falso, a weak form of the ex falso principle. Completeness is proved and the created semantics is further studied. The negative translation of classical logic into intutionistic logic is made part of a chain of translations by introducing translations from minimal logic into contraposition logic and intuitionistic logic into minimal logic, the latter having been discovered in the correspondence between Johansson and Heyting. Finally, as a bridge to the work of Franco Montagna a start is made of a study of linear models of these logics. Dedicated to the memory of Franco Montagna
منابع مشابه
Minimal Negation in the Ternary Relational Semantics
Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Principles of weak negation are shown to be isolable, thus defining a number of subminimal negations in the B+ context. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending t...
متن کاملGemma ROBLES , José M . MÉNDEZ and Francisco SALTO MINIMAL NEGATION IN THE TERNARY RELATIONAL SEMANTICS
A b s t r a c t. Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames...
متن کاملMinimal and Subminimal Logic of Negation
Starting from the original formulation of minimal propositional logic proposed by Johansson, this thesis aims to investigate some of its relevant subsystems. The main focus is on negation, defined as a primitive unary operator in the language. Each of the subsystems considered is defined by means of some ‘axioms of negation’: different axioms enrich the negation operator with different properti...
متن کاملSuppression of polymorphonuclear leukocyte chemotactic factor production in Propionibacterium acnes by subminimal inhibitory concentrations of tetracycline, ampicillin, minocycline, and erythromycin.
Propionibacterium acnes is the cause of inflammation in acne vulgaris and has been shown to produce potent neutrophil chemoattractants. Different strain of P. acnes that were sensitive or resistant to ampicillin, erythromycin, minocycline, and tetracycline were grown in the presence of subminimal inhibitory concentrations of the drugs, and their culture supernatants were assayed for neutrophil ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Soft Comput.
دوره 21 شماره
صفحات -
تاریخ انتشار 2017